A Novel Approach for Verifying Web Services Composition Using Muller Transition Algorithm
نویسندگان
چکیده
Web Services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services together to from new valed added services. The main problem is the verification of the Composed Web Services. It has to depend on formal verification method which helps to check the correctness of Services Composition. Only limited number of verification approaches available in Web Services Composition. This paper proposes a new automata called Muller Automata is introduced for verifying the composed web services and also a new algorithm called Muller Transition algorithm (MTA) is introduced for avoiding Dead Transition in Automata Representation. The Web Services are composed using BPEL4WS and it is transformed into Promela (It is the input language of SPIN model checker) and then verified using the tool called SPIN
منابع مشابه
A Novel Approach for Web Services Composition and Verification
Web services are a very appropriate communication mechanism to perform distributed business processes among several organizations. A concept of service composition, combining existing Web services easily as our needs change, is one of the key features of the technology. Many new standards have been defined to solve web service composition problem, for example BPEL4WS. BPEL4WS provides an initia...
متن کاملAutomatic QoS-aware Web Services Composition based on Set-Cover Problem
By definition, web-services composition works on developing merely optimum coordination among a number of available web-services to provide a new composed web-service intended to satisfy some users requirements for which a single web service is not (good) enough. In this article, the formulation of the automatic web-services composition is proposed as several set-cover problems and an approxima...
متن کاملA Fluent Calculus Approach to Automatic Web Service Composition
Web service composition is mandatory when complex functional requirements cannot be satisfied by a single Web service. Because of the exponential growth of available Web services, their automatic discovery and composition are highly desirable tasks. This paper presents a new approach for automatic Web service composition based on the formalism of Fluent Calculus using semantic service descripti...
متن کاملSemantic Constraint and QoS-Aware Large-Scale Web Service Composition
Service-oriented architecture facilitates the running time of interactions by using business integration on the networks. Currently, web services are considered as the best option to provide Internet services. Due to an increasing number of Web users and the complexity of users’ queries, simple and atomic services are not able to meet the needs of users; and to provide complex services, it requ...
متن کاملVerifying Web Services Choreography using Dead Marking (Deceased Smearing) Algorithm
Internet is a network of interlinked computer networking worldwide, which is accessible to the general public. Web services are a method of communication between two electronic devices over the web (internet). The W3C defines a “web service” as a software system designed to support interoperable machine to machine interaction over the “network”. Web service composition provides an open, standar...
متن کامل